Nominal Structures and Structural Recursion
نویسندگان
چکیده
It is possible within Tree Adjoining Grammar to reproduce many of the syntactic analyses originally formulated by linguists in transformational terms. To the extent that these analyses are well-motivated empirically, this fact makes TAG interesting for use in developing computational learning and processing models (Joshi 1990, Frank 1992, Rambow 1994), since the use of other non-transformational formalisms sometimes forces choices of linguistic description di erent from those ordinarily made by descriptive syntacticians. Thus, using TAG, one can take advantage in the construction of parsers and learners of the computational tractability of a mathematically restrictive formalism without having to reinvent empirical syntax in order to do so. At the same time, TAG analyses are not identical in every detail to their transformational counterparts; and it is interesting to compare them where they diverge. The di erences arise because of a fundamental di erence in the way that syntactic recursion is treated in the two frameworks. In TAG, recursive structures are generated by composing elementary syntactic objects, with the result that recursion is factored apart from the representation of local syntactic dependencies. By contrast, in transformational grammar, as in many other frameworks, recursive structure and local dependencies are represented together in a single, full representation of a complex sentence. Because of this di erence in the treatment of recursion, it often turns out, when TAG is used to emulate a transformational analysis, that the TAG version has advantages, of both elegance and empirical coverage, over the original. This paper is a demonstration in a new empirical domain, that of nominal constructions, of the advantages of TAG-based syntax. By presenting a linguistically detailed account of these constructions and showing the advantages of using TAG to analyze them, we strengthen the case for the use of mathematically constrained and computationally tractable representational systems in competencebased as well as in computational linguistics.
منابع مشابه
A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. Pitts stated some general conditions under which functions over alpha-equivalence classes can be defined by a form of structural recursion and gave a clever proof for the existence of a primitive-recursion combinator. ...
متن کاملStructural recursion with locally scoped names
This paper introduces a new recursion principle for inductively defined data modulo α-equivalence of bound names that makes use of Odersky-style local names when recursing over bound names. It is formulated in simply typed λ-calculus extended with names that can be restricted to a lexical scope, tested for equality, explicitly swapped and abstracted. The new recursion principle is motivated by ...
متن کاملNominal Logic: A First Order Theory of Names and Binding
This paper formalises within first-order logic some common practices in computer science to do with representing and reasoning about syntactical structures involving lexically scoped binding constructs. It introduces Nominal Logic, a version of first-order many-sorted logic with equality containing primitives for renaming via name-swapping, for freshness of names, and for name-binding. Its axio...
متن کاملThe Psychological Reality of Head - Final Relative Clauses
Relative clauses (RCs) are subordinate clauses embedded within nominal phrases. Semantically, this embedded clause modifies the dominating nominal head. Syntactically, the nominal head is associated with an empty element within the subordinate clause. RCs have received great attention from language researchers as they demonstrate crucial properties of the human language. They enable recursion i...
متن کاملCOMPARISON OF RELIABILITY BASED AND DISPLACEMENT BASED OPTIMIZATION OF TUNED MASS DAMPERS REGARDING UNCERTAINTY
Some structural control systems have been devised to protect structures against earthquakes, which the tuned mass damper (TMD) being one of the earliest. The effect of a tuned mass damper depends on its properties, such as mass, damping coefficient, and stiffness. The parameters of tuned mass dampers need to be tuned based on the main system and applied load. In most of the papers, the paramete...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Computational Intelligence
دوره 10 شماره
صفحات -
تاریخ انتشار 1994